T-norm based fuzzy logics preserving degrees of truth
نویسندگان
چکیده
T-norm based fuzzy logics are usually considered as truth preserving, that is, taking 1 as the only truth value to be preserved in inferences. In this paper we study t-norm based fuzzy logics preserving degrees of truth, that is, preserving the lower bounds of the truth degrees of the premises. These logics are axiomatizable by using a restricted form of Modus Ponens together with the rule of Adjunction for ∧ and their properties turn out to be very diferent from the ones satisfied by the truth preserving logics. For instance, they are selfextensional (but not Fregean) and with few exceptions they are not algebraizable (not even protoalgebraic).
منابع مشابه
Finite Fuzzy Description Logics: A Crisp Representation for Finite Fuzzy ALCH
Fuzzy Description Logics (DLs) are a formalism for the representation of structured knowledge affected by imprecision or vagueness. In the setting of fuzzy DLs, restricting to a finite set of degrees of truth has proved to be useful. In this paper, we propose finite fuzzy DLs as a generalization of existing approaches. We assume a finite totally ordered set of linguistic terms or labels, which ...
متن کاملOn Conjectures in t-Norm Based Fuzzy Logics
This paper is a humble homage to Enric Trillas. Following his foundational contributions on models of ordinary reasoning in an algebraic setting, we study here elements of these models, like conjectures and hypothesis, in the logical framework of continuous t-norm based fuzzy logics. We consider notions of consistency, conjecture and hypothesis arising from two natural families of consequence o...
متن کاملFuzzy Description Logics and t-norm based fuzzy logics
Description Logics (DLs) are knowledge representation languages built on the basis of classical logic. DLs allow the creation of knowledge bases and provide ways to reason on the contents of these bases. Fuzzy Description Logics (FDLs) are natural extensions of DLs for dealing with vague concepts, commonly present in real applications. Hájek proposed to deal with FDLs taking as basis t-norm bas...
متن کاملFinite Fuzzy Description Logics and Crisp Representations
Fuzzy Description Logics (DLs) are a formalism for the representation of structured knowledge that is imprecise or vague by nature. In fuzzy DLs, restricting to a finite set of degrees of truth has proved to be useful, both for theoretical and practical reasons. In this paper, we propose finite fuzzy DLs as a generalization of existing approaches. We assume a finite totally ordered set of lingu...
متن کاملTriangular norm based predicate fuzzy logics
5 The paper surveys the present state of knowledge on t-norm based predicate fuzzy logics with their double semantics: standard (the set of truth values being the real interval [0,1]) and general with abstract algebras of truth functions. 7 © 2009 Published by Elsevier B.V.
متن کامل